Theory of generalized annotated logic programming and its applications**A preliminary report on this research has appeared in [34].

Theory of Generalized Annotated Logic Programming and its Applications

Annotated logics were introduced in 43] and later studied in 5, 7, 31, 32]. In 31], annotations were extended to allow variables and functions, and it was argued that such logics can be used to provide a formal semantics for rule-based expert systems with uncertainty. In this paper we continue to investigate the power of this approach. First, we introduce a new semantics for such programs based...

This Is a Pre-print of the Paperthat Appeared in J. Logic Programming

on the status of mixed methods research in applied linguistics

چکیده ندارد.

on translation of politeness strategies in dialogues involving female characters in translations and retranslations of novels translated before and after the islamic revolution of iran and their effects on the image of women: a polysystem theory approach

abstract reception environment has considerable effects on accepting a translation. as the expectations of a target culture and its values and needs change throughout history, its criteria for accepting a translation or rejecting it will change accordingly (gentzler, 2001). the expectations of iran, as the reception environment in the present study, have changed after the islamic revolution. i...

Abduction in Annotated Logic Programming

Pragmatically, the logk programming paradigm presents a reasonable trade-off between expressive power and computational efficiency [9, 141. Here, we investigate techniques to make it more expressive for knowledge representation, while simultaneously retaining the computational advantages of efficiency and simplicity. In Section 1.1, we review annotated logic programs. In Section 1.2, we motivat...